ID: MR1871071

Title: Restriction categories I: categories of partial maps
Authors: James Robin Bernard Cockett and Stephen Geoffrey Lack
Journal: Theoretical Computer Science 270(1-2)
Year: 2002
DOI: 10.1016/S0304-3975(00)00382-0